(0 12 3)(1 13 11 9 4)(2 15 7 6 5)(8 14 10)
ALLOWS (11/8)-SEQUENCE
1: (0 1 3)

(0)(1 12 3 13 11 9 4)(2 15 7 6 5)(8 14 10)
2: (3 9 12)

(0)(1 12 4)(2 15 7 6 5)(3)(8 14 10)(9 13 11)
3: (8 14 10)

(0)(1 12 4)(2 15 7 6 5)(3)(8)(9 13 11)(10)(14)
4: (9 13 11)

(0)(1 12 4)(2 15 7 6 5)(3)(8)(9)(10)(11)(13)(14)